newtype DiaProd p = DiaProd (forall a. p a a)